Benjamin C. Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin C. Pierce
Results: 45

#	Item
21	Distance Makes the Types Grow Stronger A Calculus for Differential Privacy Jason Reed Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-20 13:05:54 Dynamical system Differential privacy Mathematics Structure Programming language semantics Orbifold Allan variance Mathematical analysis Symbol Continuous function
22	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
23	Differential Privacy for Collaborative Security Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith University of Pennsylvania ABSTRACT Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-02-08 01:09:01 Computer network security Spamming Data privacy Differential privacy Botnet Privacy Internet privacy Information privacy Internet Relay Chat Computing Multi-agent systems Ethics
24	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
25	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
26	The Weird World of Bi-Directional Programming Benjamin C. Pierce Microsoft Research, Cambridge (on leave from University of Pennsylvania) Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-29 10:51:42
27	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
28	Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Formal methods Entailment Logical consequence Metalogic Symbol Function Lambda calculus Linear temporal logic Logic Mathematics Deduction
29	Reactive Noninterference Aaron Bohannon Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:04 Quantum complexity theory Circuit complexity NC Valuation Ch PP Activity Entailment Theoretical computer science Computational complexity theory Logic
30	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science

UPDATE